Index of /~tch/notes/PSSAT/datasets/sc2002/handmade/anton/UNSAT

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]SGI_30_80_16_90_1-dir.shuffled-as.sat03-187.cnf.xz2021-07-13 15:48 95K 
[ ]SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf.xz2021-07-13 15:48 99K 
[ ]SGI_30_70_16_90_5-dir.shuffled-as.sat03-138.cnf.xz2021-07-13 15:48 110K 
[ ]SGI_30_80_18_90_3-dir.shuffled-as.sat03-193.cnf.xz2021-07-13 15:48 113K 
[ ]SGI_30_80_17_90_7-dir.shuffled-as.sat03-189.cnf.xz2021-07-13 15:48 115K 
[ ]SGI_30_80_18_80_2-dir.shuffled-as.sat03-191.cnf.xz2021-07-13 15:48 119K 
[ ]SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf.xz2021-07-13 15:48 127K 
[ ]SGI_30_80_20_90_10-dir.shuffled-as.sat03-195.cnf.xz2021-07-13 15:48 134K 
[ ]SGI_30_70_19_80_8-dir.shuffled-as.sat03-142.cnf.xz2021-07-13 15:48 142K 
[ ]SGI_30_60_19_60_6-dir.shuffled-as.sat03-112.cnf.xz2021-07-13 15:48 144K 
[ ]SGI_30_80_21_90_2-dir.shuffled-as.sat03-197.cnf.xz2021-07-13 15:48 145K 
[ ]SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf.xz2021-07-13 15:48 146K 
[ ]SGI_30_70_20_70_5-dir.shuffled-as.sat03-148.cnf.xz2021-07-13 15:48 147K 
[ ]SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf.xz2021-07-13 15:48 149K 
[ ]SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf.xz2021-07-13 15:48 155K 
[ ]SGI_30_70_21_60_7-dir.shuffled-as.sat03-150.cnf.xz2021-07-13 15:48 157K 
[ ]SGI_30_80_23_90_10-dir.shuffled-as.sat03-201.cnf.xz2021-07-13 15:48 165K 
[ ]SGI_30_70_21_70_7-dir.shuffled-as.sat03-152.cnf.xz2021-07-13 15:48 166K 
[ ]SGI_30_70_23_50_1-dir.shuffled-as.sat03-156.cnf.xz2021-07-13 15:48 176K 
[ ]SGI_30_70_23_60_5-dir.shuffled-as.sat03-160.cnf.xz2021-07-13 15:48 176K 
[ ]SGI_30_80_23_80_3-dir.shuffled-as.sat03-199.cnf.xz2021-07-13 15:48 176K 
[ ]SGI_30_60_23_50_8-dir.shuffled-as.sat03-116.cnf.xz2021-07-13 15:48 179K 
[ ]SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf.xz2021-07-13 15:48 181K 
[ ]SGI_30_70_23_60_1-dir.shuffled-as.sat03-158.cnf.xz2021-07-13 15:48 185K 
[ ]SGI_30_60_24_40_2-dir.shuffled-as.sat03-118.cnf.xz2021-07-13 15:48 190K 
[ ]SGI_30_70_25_50_7-dir.shuffled-as.sat03-161.cnf.xz2021-07-13 15:48 192K 
[ ]SGI_30_80_24_80_9-dir.shuffled-as.sat03-203.cnf.xz2021-07-13 15:48 193K 
[ ]SGI_30_80_26_80_1-dir.shuffled-as.sat03-209.cnf.xz2021-07-13 15:48 198K 
[ ]SGI_30_80_25_80_5-dir.shuffled-as.sat03-205.cnf.xz2021-07-13 15:48 201K 
[ ]SGI_30_80_27_80_2-dir.shuffled-as.sat03-213.cnf.xz2021-07-13 15:48 205K 
[ ]SGI_30_60_25_40_2-dir.shuffled-as.sat03-120.cnf.xz2021-07-13 15:48 206K 
[ ]SGI_30_80_26_70_4-dir.shuffled-as.sat03-207.cnf.xz2021-07-13 15:48 210K 
[ ]SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf.xz2021-07-13 15:48 213K 
[ ]SGI_30_40_30_20_2-dir.shuffled-as.sat03-104.cnf.xz2021-07-13 15:48 216K 
[ ]SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf.xz2021-07-13 15:48 217K 
[ ]SGI_30_70_26_50_3-dir.shuffled-as.sat03-165.cnf.xz2021-07-13 15:48 219K 
[ ]SGI_30_60_28_40_10-dir.shuffled-as.sat03-122.cnf.xz2021-07-13 15:48 220K 
[ ]SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf.xz2021-07-13 15:48 223K 
[ ]SGI_30_50_30_20_5-dir.shuffled-as.sat03-110.cnf.xz2021-07-13 15:48 225K 
[ ]SGI_30_80_27_70_7-dir.shuffled-as.sat03-211.cnf.xz2021-07-13 15:48 225K 
[ ]SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf.xz2021-07-13 15:48 230K 
[ ]SGI_30_60_28_40_7-dir.shuffled-as.sat03-126.cnf.xz2021-07-13 15:48 231K 
[ ]SGI_30_50_30_20_1-dir.shuffled-as.sat03-106.cnf.xz2021-07-13 15:48 231K 
[ ]SGI_30_60_28_40_2-dir.shuffled-as.sat03-124.cnf.xz2021-07-13 15:48 233K 
[ ]SGI_30_80_29_60_7-dir.shuffled-as.sat03-217.cnf.xz2021-07-13 15:48 235K 
[ ]SGI_30_50_30_20_3-dir.shuffled-as.sat03-108.cnf.xz2021-07-13 15:48 235K 
[ ]SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf.xz2021-07-13 15:48 237K 
[ ]SGI_30_60_30_30_2-dir.shuffled-as.sat03-132.cnf.xz2021-07-13 15:48 240K 
[ ]SGI_30_70_28_50_1-dir.shuffled-as.sat03-173.cnf.xz2021-07-13 15:48 240K 
[ ]SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf.xz2021-07-13 15:48 241K 
[ ]SGI_30_70_27_60_5-dir.shuffled-as.sat03-171.cnf.xz2021-07-13 15:48 243K 
[ ]SGI_30_80_16_90_1-log.shuffled-as.sat03-188.cnf.xz2021-07-13 15:48 246K 
[ ]SGI_30_70_28_60_5-dir.shuffled-as.sat03-177.cnf.xz2021-07-13 15:48 248K 
[ ]SGI_30_70_30_40_3-dir.shuffled-as.sat03-181.cnf.xz2021-07-13 15:48 250K 
[ ]SGI_30_60_28_50_8-dir.shuffled-as.sat03-128.cnf.xz2021-07-13 15:48 253K 
[ ]SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf.xz2021-07-13 15:48 262K 
[ ]SGI_30_60_30_40_6-dir.shuffled-as.sat03-134.cnf.xz2021-07-13 15:48 264K 
[ ]SGI_30_70_30_60_2-dir.shuffled-as.sat03-185.cnf.xz2021-07-13 15:48 264K 
[ ]SGI_30_70_28_60_1-dir.shuffled-as.sat03-175.cnf.xz2021-07-13 15:48 265K 
[ ]SGI_30_70_30_50_10-dir.shuffled-as.sat03-183.cnf.xz2021-07-13 15:48 266K 
[ ]SGI_30_70_16_90_5-log.shuffled-as.sat03-139.cnf.xz2021-07-13 15:48 295K 
[ ]SGI_30_80_18_90_3-log.shuffled-as.sat03-194.cnf.xz2021-07-13 15:48 296K 
[ ]SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf.xz2021-07-13 15:48 306K 
[ ]SGI_30_80_18_80_2-log.shuffled-as.sat03-192.cnf.xz2021-07-13 15:48 316K 
[ ]SGI_30_70_18_80_10-log.shuffled-as.sat03-141.cnf.xz2021-07-13 15:48 342K 
[ ]SGI_30_80_20_90_10-log.shuffled-as.sat03-196.cnf.xz2021-07-13 15:48 361K 
[ ]SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf.xz2021-07-13 15:48 387K 
[ ]SGI_30_60_19_60_6-log.shuffled-as.sat03-113.cnf.xz2021-07-13 15:48 390K 
[ ]SGI_30_80_21_90_2-log.shuffled-as.sat03-198.cnf.xz2021-07-13 15:48 394K 
[ ]SGI_30_70_20_60_10-log.shuffled-as.sat03-145.cnf.xz2021-07-13 15:48 395K 
[ ]SGI_30_70_20_70_5-log.shuffled-as.sat03-149.cnf.xz2021-07-13 15:48 399K 
[ ]SGI_30_70_20_70_1-log.shuffled-as.sat03-147.cnf.xz2021-07-13 15:48 406K 
[ ]SGI_30_60_20_50_3-log.shuffled-as.sat03-115.cnf.xz2021-07-13 15:48 423K 
[ ]SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf.xz2021-07-13 15:48 426K 
[ ]SGI_30_80_23_90_10-log.shuffled-as.sat03-202.cnf.xz2021-07-13 15:48 455K 
[ ]SGI_30_70_21_70_7-log.shuffled-as.sat03-153.cnf.xz2021-07-13 15:48 458K 
[ ]SGI_30_70_23_50_1-log.shuffled-as.sat03-157.cnf.xz2021-07-13 15:48 479K 
[ ]SGI_30_80_23_80_3-log.shuffled-as.sat03-200.cnf.xz2021-07-13 15:48 489K 
[ ]SGI_30_60_23_50_8-log.shuffled-as.sat03-117.cnf.xz2021-07-13 15:48 490K 
[ ]SGI_30_70_22_70_7-log.shuffled-as.sat03-155.cnf.xz2021-07-13 15:48 506K 
[ ]SGI_30_70_23_60_1-log.shuffled-as.sat03-159.cnf.xz2021-07-13 15:48 511K 
[ ]SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf.xz2021-07-13 15:48 518K 
[ ]SGI_30_70_25_50_7-log.shuffled-as.sat03-162.cnf.xz2021-07-13 15:48 524K 
[ ]SGI_30_80_24_80_9-log.shuffled-as.sat03-204.cnf.xz2021-07-13 15:48 542K 
[ ]SGI_30_80_26_80_1-log.shuffled-as.sat03-210.cnf.xz2021-07-13 15:48 553K 
[ ]SGI_30_80_25_80_5-log.shuffled-as.sat03-206.cnf.xz2021-07-13 15:48 564K 
[ ]SGI_30_40_30_20_2-log.shuffled-as.sat03-105.cnf.xz2021-07-13 15:48 566K 
[ ]SGI_30_60_25_40_2-log.shuffled-as.sat03-121.cnf.xz2021-07-13 15:48 567K 
[ ]SGI_30_80_27_80_2-log.shuffled-as.sat03-214.cnf.xz2021-07-13 15:48 570K 
[ ]SGI_30_80_26_70_4-log.shuffled-as.sat03-208.cnf.xz2021-07-13 15:48 588K 
[ ]SGI_30_70_26_60_1-log.shuffled-as.sat03-168.cnf.xz2021-07-13 15:48 596K 
[ ]SGI_30_60_28_40_10-log.shuffled-as.sat03-123.cnf.xz2021-07-13 15:48 602K 
[ ]SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf.xz2021-07-13 15:48 602K 
[ ]SGI_30_70_26_40_6-log.shuffled-as.sat03-164.cnf.xz2021-07-13 15:48 605K 
[ ]SGI_30_70_26_50_3-log.shuffled-as.sat03-166.cnf.xz2021-07-13 15:48 612K 
[ ]SGI_30_70_27_50_3-log.shuffled-as.sat03-170.cnf.xz2021-07-13 15:48 619K 
[ ]SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf.xz2021-07-13 15:48 622K 
[ ]SGI_30_60_29_30_6-log.shuffled-as.sat03-131.cnf.xz2021-07-13 15:48 628K 
[ ]SGI_30_80_27_70_7-log.shuffled-as.sat03-212.cnf.xz2021-07-13 15:48 636K 
[ ]SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf.xz2021-07-13 15:48 637K 
[ ]SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf.xz2021-07-13 15:48 639K 
[ ]SGI_30_60_28_40_2-log.shuffled-as.sat03-125.cnf.xz2021-07-13 15:48 645K 
[ ]SGI_30_80_29_60_7-log.shuffled-as.sat03-218.cnf.xz2021-07-13 15:48 657K 
[ ]SGI_30_60_30_30_2-log.shuffled-as.sat03-133.cnf.xz2021-07-13 15:48 658K 
[ ]SGI_30_70_29_50_3-log.shuffled-as.sat03-180.cnf.xz2021-07-13 15:48 673K 
[ ]SGI_30_80_28_70_8-log.shuffled-as.sat03-216.cnf.xz2021-07-13 15:48 674K 
[ ]SGI_30_70_28_50_1-log.shuffled-as.sat03-174.cnf.xz2021-07-13 15:48 676K 
[ ]SGI_30_70_27_60_5-log.shuffled-as.sat03-172.cnf.xz2021-07-13 15:48 693K 
[ ]SGI_30_70_30_40_3-log.shuffled-as.sat03-182.cnf.xz2021-07-13 15:48 698K 
[ ]SGI_30_70_28_60_5-log.shuffled-as.sat03-178.cnf.xz2021-07-13 15:48 703K 
[ ]SGI_30_60_28_50_8-log.shuffled-as.sat03-129.cnf.xz2021-07-13 15:48 716K 
[ ]SGI_30_60_30_40_6-log.shuffled-as.sat03-135.cnf.xz2021-07-13 15:48 742K 
[ ]SGI_30_70_30_60_2-log.shuffled-as.sat03-186.cnf.xz2021-07-13 15:48 752K 
[ ]SGI_30_70_30_50_10-log.shuffled-as.sat03-184.cnf.xz2021-07-13 15:48 755K 
[ ]SGI_30_70_28_60_1-log.shuffled-as.sat03-176.cnf.xz2021-07-13 15:48 761K 
[ ]UNSAT.tar.gzip2022-08-09 12:25 41M 
Apache/2.4.29 (Ubuntu) Server at users.cs.utah.edu Port 443