Index of /ai/benchmark-suite

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -
[TXT]2qbf.html29-Oct-2001 12:13 1.6K
[VID]2qbf3dnf.dl29-Oct-2001 12:15 276
[   ]10-bits16-Aug-2001 10:37 240
[   ]15-bits16-Aug-2001 10:37 350
[TXT]15-puzzle.html16-Aug-2001 11:08 1.9K
[   ]15puzzle.sm31-Aug-2001 15:35 1.8K
[   ]16-data13-Aug-2001 11:23 219
[   ]17-data13-Aug-2001 11:24 215
[   ]18-data13-Aug-2001 11:24 215
[   ]19-data13-Aug-2001 11:24 218
[   ]20-bits16-Aug-2001 10:37 440
[   ]25-bits16-Aug-2001 10:37 550
[   ]30-bits16-Aug-2001 10:37 640
[   ]DES-data.tar14-Aug-2001 13:15 70K
[TXT]README-DES.html14-Aug-2001 13:12 1.3K
[TXT]deadlock-detection.html16-Aug-2001 11:09 2.5K
[   ]des.fig13-Aug-2001 14:17 571
[   ]des.fig.bak13-Aug-2001 14:14 567
[TXT]des.html14-Aug-2001 13:16 2.7K
[IMG]des.jpg13-Aug-2001 14:22 6.0K
[TXT]dl.c13-Aug-2001 10:53 280
[TXT]dl.d13-Aug-2001 10:53 326
[   ]duthen-990602.3729-Aug-2001 14:19 1.0K
[TXT]duthen-990602.37.txt29-Aug-2001 14:35 70
[   ]duthen-990602.4829-Aug-2001 14:23 864
[TXT]duthen-990602.48.txt29-Aug-2001 14:35 54
[   ]duthen-990602.5129-Aug-2001 14:26 845
[TXT]duthen-990602.51.txt29-Aug-2001 14:35 70
[TXT]factoring.html16-Aug-2001 11:09 2.2K
[TXT]h-out.tex31-Aug-2001 15:20 49K
[   ]ham-cyc.sm31-Aug-2001 15:24 732
[TXT]hamiltonian-cycle.html06-Sep-2001 16:55 1.8K
[TXT]n-queens.html16-Aug-2001 11:53 1.1K
[   ]nqueens.sm31-Aug-2001 15:32 549
[   ]oo31-Aug-2001 15:24 0
[   ]original.129-Aug-2001 14:29 2.2K
[TXT]original.1.txt29-Aug-2001 14:36 164
[TXT]planning.html13-Aug-2001 15:25 2.3K
[   ]qbf1.edb29-Oct-2001 11:56 1.8K
[   ]qbf2.edb16-Sep-2001 20:24 33K
[   ]qbf3.edb16-Sep-2001 20:24 33K
[   ]qbf4.edb16-Sep-2001 20:24 224K
[   ]qbf5.edb16-Sep-2001 20:24 26K
[   ]qbf6.edb16-Sep-2001 20:24 16K
[   ]qbf7.edb16-Sep-2001 20:24 3.1K
[   ]qbf8.edb16-Sep-2001 20:24 2.5K
[   ]qbf9.edb16-Sep-2001 20:24 1.8K
[   ]qbf10.edb16-Sep-2001 20:24 1.8K
[   ]qbfdatasets.tar29-Oct-2001 11:47 700K
[TXT]ramsey45.html16-Aug-2001 12:50 2.7K
[TXT]reachability.html07-Sep-2001 08:51 1.5K
[   ]reachability_data.tar.gz07-Sep-2001 08:45 83K
[VID]reachable.dl07-Sep-2001 08:47 75
[TXT]same-generation.html16-Aug-2001 11:11 1.0K
[TXT]schur.html16-Aug-2001 12:54 1.2K
[   ]schur.sm31-Aug-2001 15:29 928
[   ]sokoban-lpnmr.tar31-Aug-2001 15:00 40K
[VID]sokoban.dl29-Aug-2001 13:46 2.3K
[TXT]sokoban.html31-Aug-2001 15:11 6.6K
[TXT]sokoban2facts.tcl29-Aug-2001 14:30 6.3K
[   ]split-puzzles29-Aug-2001 15:19 268
[   ]split-puzzles.awk29-Aug-2001 15:19 326
[   ]stratcomp-250.a.gz05-Sep-2001 15:09 6.7K
[   ]stratcomp-250.b.gz05-Sep-2001 15:09 6.7K
[   ]stratcomp-1000.a.gz05-Sep-2001 15:09 30K
[   ]stratcomp-1000.b.gz05-Sep-2001 15:09 30K
[   ]stratcomp-2500.a.gz05-Sep-2001 15:09 80K
[   ]stratcomp-2500.b.gz05-Sep-2001 15:09 80K
[   ]stratcomp-6500.a.gz05-Sep-2001 15:09 221K
[   ]stratcomp-6500.b.gz05-Sep-2001 15:09 221K
[   ]stratcomp-9500.a.gz05-Sep-2001 15:09 330K
[   ]stratcomp-9500.b.gz05-Sep-2001 15:09 329K
[VID]stratcomp.dl05-Sep-2001 15:09 164
[   ]stratcomp.sm205-Sep-2001 15:09 178
[   ]stratcomp.zip05-Sep-2001 15:09 1.3M
[TXT]strategic-companies.html05-Sep-2001 15:20 2.8K
[TXT]towers-of-hanoi.html16-Aug-2001 11:52 1.2K
[TXT]vertex-cover.html16-Aug-2001 16:03 1.7K
[   ]vtx-cov.sm31-Aug-2001 15:27 466
[   ]yoshio-auto.529-Aug-2001 13:46 1.0K
[TXT]yoshio-auto.5.txt29-Aug-2001 14:34 72
[   ]yoshio-auto.629-Aug-2001 13:55 825
[TXT]yoshio-auto.6.txt29-Aug-2001 14:34 72
[   ]yoshio-auto.729-Aug-2001 13:58 1.0K
[TXT]yoshio-auto.7.txt29-Aug-2001 14:34 72
[   ]yoshio-auto.2829-Aug-2001 14:06 1.0K
[TXT]yoshio-auto.28.txt29-Aug-2001 14:35 72
[   ]yoshio-auto.3529-Aug-2001 14:09 875
[TXT]yoshio-auto.35.txt29-Aug-2001 14:35 72
[   ]yoshio-auto.5129-Aug-2001 14:13 1.0K
[TXT]yoshio-auto.51.txt29-Aug-2001 14:35 72

Apache/2.2.8 (Ubuntu) PHP/5.2.4-2ubuntu5.7 with Suhosin-Patch mod_ssl/2.2.8 OpenSSL/0.9.8g Server at www.cs.uky.edu Port 80