| /dports/math/py-cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | solver.cpp | 97 sqlStats = NULL; in Solver()
140 delete sqlStats; in ~Solver()
977 if (sqlStats) { in clean_xor_clauses_from_duplicate_and_set_vars()
1072 if (sqlStats) { in renumber_variables()
1162 if (sqlStats) { in save_on_var_memory()
1388 if (sqlStats) { in extend_solution()
1399 if (!sqlStats) { in set_up_sql_writer()
1654 if (sqlStats) { in solve_with_assumptions()
1968 if (sqlStats) { in handle_found_solution()
3023 if (sqlStats) { in check_implicit_propagated()
[all …]
|
| H A D | reducedb.cpp | 225 if (solver->sqlStats) { in handle_lev2()
226 solver->sqlStats->time_passed_min( in handle_lev2()
242 assert(solver->sqlStats); in dump_sql_cl_data()
243 solver->sqlStats->begin_transaction(); in dump_sql_cl_data()
271 solver->sqlStats->reduceDB( in dump_sql_cl_data()
284 solver->sqlStats->end_transaction(); in dump_sql_cl_data()
366 if (solver->sqlStats) { in handle_lev1()
367 solver->sqlStats->time_passed_min( in handle_lev1()
679 if (solver->sqlStats) { in handle_lev2_predictor()
680 solver->sqlStats->time_passed_min( in handle_lev2_predictor()
|
| H A D | vardistgen.cpp | 123 if (solver->sqlStats) { in calc()
124 solver->sqlStats->time_passed_min( in calc()
137 solver->sqlStats->var_dist( in dump()
|
| H A D | subsumestrengthen.cpp | 291 if (solver->sqlStats) { in backw_sub_long_with_long()
292 solver->sqlStats->time_passed( in backw_sub_long_with_long()
357 if (solver->sqlStats) { in backw_str_long_with_long()
358 solver->sqlStats->time_passed( in backw_str_long_with_long()
540 if (solver->sqlStats) { in handle_added_long_cl()
541 solver->sqlStats->time_passed( in handle_added_long_cl()
1021 if (solver->sqlStats) { in backw_sub_str_long_with_bins()
1022 solver->sqlStats->time_passed( in backw_sub_str_long_with_bins()
|
| H A D | cms_bosphorus.cpp | 126 if (solver->sqlStats) { in doit()
127 solver->sqlStats->time_passed_min( in doit()
|
| H A D | gatefinder.cpp | 105 if (solver->sqlStats) { in find_or_gates_and_update_stats()
106 solver->sqlStats->time_passed( in find_or_gates_and_update_stats()
158 if (solver->sqlStats) { in shorten_with_all_or_gates()
159 solver->sqlStats->time_passed( in shorten_with_all_or_gates()
208 if (solver->sqlStats) { in remove_clauses_with_all_or_gates()
209 solver->sqlStats->time_passed( in remove_clauses_with_all_or_gates()
255 if (solver->sqlStats) { in all_simplifications_with_gates()
256 solver->sqlStats->time_passed_min( in all_simplifications_with_gates()
|
| H A D | xorfinder.cpp | 204 if (solver->sqlStats) { in find_xors()
205 solver->sqlStats->time_passed( in find_xors()
465 if (solver->sqlStats) { in remove_xors_without_connecting_vars()
466 solver->sqlStats->time_passed_min( in remove_xors_without_connecting_vars()
725 if (solver->sqlStats) { in xor_together_xors()
726 solver->sqlStats->time_passed_min( in xor_together_xors()
870 if (solver->sqlStats) { in add_new_truths_from_xors()
871 solver->sqlStats->time_passed_min( in add_new_truths_from_xors()
|
| H A D | str_impl_w_impl.cpp | 199 if (_solver->sqlStats) { in print()
200 _solver->sqlStats->time_passed( in print()
|
| H A D | cms_breakid.cpp | 297 if (solver->sqlStats) { in doit()
298 solver->sqlStats->time_passed( in doit()
410 if (solver->sqlStats) { in remove_duplicates()
411 solver->sqlStats->time_passed_min( in remove_duplicates()
|
| H A D | yalsat.cpp | 109 if (solver->sqlStats) { in main()
110 solver->sqlStats->time_passed_min( in main()
|
| H A D | sccfinder.cpp | 188 if (solver && solver->sqlStats) { in print_short()
189 solver->sqlStats->time_passed_min( in print_short()
|
| H A D | subsumeimplicit.cpp | 156 if (solver->sqlStats) { in subsume_implicit()
157 solver->sqlStats->time_passed( in subsume_implicit()
|
| /dports/math/cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | solver.cpp | 97 sqlStats = NULL; in Solver()
140 delete sqlStats; in ~Solver()
977 if (sqlStats) { in clean_xor_clauses_from_duplicate_and_set_vars()
1072 if (sqlStats) { in renumber_variables()
1162 if (sqlStats) { in save_on_var_memory()
1388 if (sqlStats) { in extend_solution()
1399 if (!sqlStats) { in set_up_sql_writer()
1654 if (sqlStats) { in solve_with_assumptions()
1968 if (sqlStats) { in handle_found_solution()
3023 if (sqlStats) { in check_implicit_propagated()
[all …]
|
| H A D | reducedb.cpp | 225 if (solver->sqlStats) { in handle_lev2()
226 solver->sqlStats->time_passed_min( in handle_lev2()
242 assert(solver->sqlStats); in dump_sql_cl_data()
243 solver->sqlStats->begin_transaction(); in dump_sql_cl_data()
271 solver->sqlStats->reduceDB( in dump_sql_cl_data()
284 solver->sqlStats->end_transaction(); in dump_sql_cl_data()
366 if (solver->sqlStats) { in handle_lev1()
367 solver->sqlStats->time_passed_min( in handle_lev1()
679 if (solver->sqlStats) { in handle_lev2_predictor()
680 solver->sqlStats->time_passed_min( in handle_lev2_predictor()
|
| H A D | vardistgen.cpp | 123 if (solver->sqlStats) { in calc()
124 solver->sqlStats->time_passed_min( in calc()
137 solver->sqlStats->var_dist( in dump()
|
| H A D | subsumestrengthen.cpp | 291 if (solver->sqlStats) { in backw_sub_long_with_long()
292 solver->sqlStats->time_passed( in backw_sub_long_with_long()
357 if (solver->sqlStats) { in backw_str_long_with_long()
358 solver->sqlStats->time_passed( in backw_str_long_with_long()
540 if (solver->sqlStats) { in handle_added_long_cl()
541 solver->sqlStats->time_passed( in handle_added_long_cl()
1021 if (solver->sqlStats) { in backw_sub_str_long_with_bins()
1022 solver->sqlStats->time_passed( in backw_sub_str_long_with_bins()
|
| H A D | cms_bosphorus.cpp | 126 if (solver->sqlStats) { in doit()
127 solver->sqlStats->time_passed_min( in doit()
|
| H A D | xorfinder.cpp | 204 if (solver->sqlStats) { in find_xors()
205 solver->sqlStats->time_passed( in find_xors()
465 if (solver->sqlStats) { in remove_xors_without_connecting_vars()
466 solver->sqlStats->time_passed_min( in remove_xors_without_connecting_vars()
725 if (solver->sqlStats) { in xor_together_xors()
726 solver->sqlStats->time_passed_min( in xor_together_xors()
870 if (solver->sqlStats) { in add_new_truths_from_xors()
871 solver->sqlStats->time_passed_min( in add_new_truths_from_xors()
|
| H A D | gatefinder.cpp | 105 if (solver->sqlStats) { in find_or_gates_and_update_stats()
106 solver->sqlStats->time_passed( in find_or_gates_and_update_stats()
158 if (solver->sqlStats) { in shorten_with_all_or_gates()
159 solver->sqlStats->time_passed( in shorten_with_all_or_gates()
208 if (solver->sqlStats) { in remove_clauses_with_all_or_gates()
209 solver->sqlStats->time_passed( in remove_clauses_with_all_or_gates()
255 if (solver->sqlStats) { in all_simplifications_with_gates()
256 solver->sqlStats->time_passed_min( in all_simplifications_with_gates()
|
| H A D | str_impl_w_impl.cpp | 199 if (_solver->sqlStats) { in print()
200 _solver->sqlStats->time_passed( in print()
|
| H A D | cms_breakid.cpp | 297 if (solver->sqlStats) { in doit()
298 solver->sqlStats->time_passed( in doit()
410 if (solver->sqlStats) { in remove_duplicates()
411 solver->sqlStats->time_passed_min( in remove_duplicates()
|
| H A D | yalsat.cpp | 109 if (solver->sqlStats) { in main()
110 solver->sqlStats->time_passed_min( in main()
|
| H A D | sccfinder.cpp | 188 if (solver && solver->sqlStats) { in print_short()
189 solver->sqlStats->time_passed_min( in print_short()
|
| H A D | subsumeimplicit.cpp | 156 if (solver->sqlStats) { in subsume_implicit()
157 solver->sqlStats->time_passed( in subsume_implicit()
|
| /dports/net-mgmt/ocsinventory-ocsreports/ocsinventory-ocsreports/plugins/main_sections/ms_teledeploy/ |
| H A D | ms_tele_stats.php | 73 $sqlStats = "SELECT COUNT(d.id) as nb, d.tvalue as txt variable
102 $resStats = mysql2_query_secure($sqlStats . " ORDER BY nb DESC", $_SESSION['OCS']["readServer"], $a…
|