Mark Liffiton

lastname -at- eecs -dot- -domain-

CAMUS Results - AIM Benchmarks

These benchmarks are part of the DIMACS suite. They were generated by a random 3SAT generator, as described here. They are available on the DIMACS FTP server (though it has been inaccessible at times).

Runtimes (sec)MCS SizesMUS Sizes
NameVarsClausesMCSesMUSesTotal#MCSesMinMax#MUSesMinMax
aim-50-1_6-no-1 50 80 0.001 0 0.001 22 1 1 1 22 22
aim-50-1_6-no-2 50 80 0.001 0 0.001 32 1 1 1 32 32
aim-50-1_6-no-3 50 80 0.001 0 0.001 31 1 1 1 31 31
aim-50-1_6-no-4 50 80 0.001 0 0.001 20 1 1 1 20 20
aim-50-2_0-no-1 50 100 0.001 0 0.001 22 1 1 1 22 22
aim-50-2_0-no-2 50 100 0.002 0 0.002 30 1 2 2 30 30
aim-50-2_0-no-3 50 100 0.002 0 0.002 28 1 1 1 28 28
aim-50-2_0-no-4 50 100 0.001 0 0.001 21 1 1 1 21 21
aim-100-1_6-no-1 100 160 0.003 0 0.003 47 1 1 1 47 47
aim-100-1_6-no-2 100 160 0.003 0 0.003 53 1 1 1 53 53
aim-100-1_6-no-3 100 160 0.004 0.001 0.005 57 1 1 1 57 57
aim-100-1_6-no-4 100 160 0.003 0 0.003 48 1 1 1 48 48
aim-100-2_0-no-1 100 200 0.001 0 0.001 19 1 1 1 19 19
aim-100-2_0-no-2 100 200 0.003 0 0.003 39 1 1 1 39 39
aim-100-2_0-no-3 100 200 0.002 0 0.002 27 1 1 1 27 27
aim-100-2_0-no-4 100 200 0.002 0 0.002 31 1 1 1 31 31
aim-200-1_6-no-1 200 320 0.006 0 0.006 55 1 1 1 55 55
aim-200-1_6-no-2 200 320 0.009 0 0.009 80 1 2 2 80 80
aim-200-1_6-no-3 200 320 0.008 0.001 0.009 83 1 1 1 83 83
aim-200-1_6-no-4 200 320 0.005 0 0.005 46 1 1 1 46 46
aim-200-2_0-no-1 200 400 0.007 0 0.007 53 1 1 1 53 53
aim-200-2_0-no-2 200 400 0.006 0.001 0.007 50 1 1 1 50 50
aim-200-2_0-no-3 200 400 0.006 0.001 0.007 37 1 1 1 37 37
aim-200-2_0-no-4 200 400 0.007 0 0.007 42 1 2 2 42 42