Index of /smtlib/benchmarks/QF_IDL/parity
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
01.100.graph.smt 01-Jun-2008 20:19 114K
01.200.graph.smt 01-Jun-2008 20:20 517K
01.300.graph.smt 01-Jun-2008 20:20 1.2M
01.400.graph.smt 01-Jun-2008 20:21 2.2M
01.500.graph.smt 01-Jun-2008 20:23 3.4M
01.600.graph.smt 01-Jun-2008 20:27 5.0M
01.700.graph.smt 01-Jun-2008 20:29 6.5M
01.800.graph.smt 01-Jun-2008 20:31 8.0M
02.100.graph.smt 01-Jun-2008 20:33 89K
02.200.graph.smt 01-Jun-2008 20:34 434K
02.300.graph.smt 01-Jun-2008 20:37 1.2M
02.400.graph.smt 01-Jun-2008 20:38 2.0M
02.500.graph.smt 01-Jun-2008 20:40 2.9M
02.600.graph.smt 01-Jun-2008 20:41 4.7M
02.700.graph.smt 01-Jun-2008 20:43 6.4M
02.800.graph.smt 01-Jun-2008 20:46 8.3M
03.100.graph.smt 01-Jun-2008 20:46 139K
03.200.graph.smt 01-Jun-2008 20:46 614K
03.300.graph.smt 01-Jun-2008 20:46 1.3M
03.400.graph.smt 01-Jun-2008 20:50 1.8M
03.500.graph.smt 01-Jun-2008 20:51 2.9M
03.600.graph.smt 01-Jun-2008 20:52 4.7M
03.700.graph.smt 01-Jun-2008 20:54 5.8M
03.800.graph.smt 01-Jun-2008 20:55 8.0M
04.100.graph.smt 01-Jun-2008 20:55 139K
04.200.graph.smt 01-Jun-2008 20:55 507K
04.300.graph.smt 01-Jun-2008 20:56 1.2M
04.400.graph.smt 01-Jun-2008 20:56 1.9M
04.500.graph.smt 01-Jun-2008 20:57 3.2M
04.600.graph.smt 01-Jun-2008 20:58 4.7M
04.700.graph.smt 01-Jun-2008 20:59 7.2M
04.800.graph.smt 01-Jun-2008 21:00 8.5M
05.100.graph.smt 01-Jun-2008 21:01 116K
05.200.graph.smt 01-Jun-2008 21:01 542K
05.300.graph.smt 01-Jun-2008 21:01 1.2M
05.400.graph.smt 01-Jun-2008 21:02 2.2M
05.500.graph.smt 01-Jun-2008 21:02 3.5M
05.600.graph.smt 01-Jun-2008 21:04 5.0M
05.700.graph.smt 01-Jun-2008 21:05 6.5M
05.800.graph.smt 01-Jun-2008 21:06 8.4M
06.100.graph.smt 01-Jun-2008 21:07 134K
06.200.graph.smt 01-Jun-2008 21:07 435K
06.300.graph.smt 01-Jun-2008 21:07 1.2M
06.400.graph.smt 01-Jun-2008 21:07 2.0M
06.500.graph.smt 01-Jun-2008 21:08 3.6M
06.600.graph.smt 01-Jun-2008 21:09 4.5M
06.700.graph.smt 01-Jun-2008 21:10 5.8M
06.800.graph.smt 01-Jun-2008 21:11 8.2M
07.100.graph.smt 01-Jun-2008 21:11 131K
07.200.graph.smt 01-Jun-2008 21:12 569K
07.300.graph.smt 01-Jun-2008 21:12 1.0M
07.400.graph.smt 01-Jun-2008 21:12 2.1M
07.500.graph.smt 01-Jun-2008 21:13 3.1M
07.600.graph.smt 01-Jun-2008 21:14 4.4M
07.700.graph.smt 01-Jun-2008 21:15 6.1M
07.800.graph.smt 01-Jun-2008 21:16 8.7M
08.100.graph.smt 01-Jun-2008 21:17 125K
08.200.graph.smt 01-Jun-2008 21:17 583K
08.300.graph.smt 01-Jun-2008 21:18 1.2M
08.400.graph.smt 01-Jun-2008 21:18 2.1M
08.500.graph.smt 01-Jun-2008 21:19 3.5M
08.600.graph.smt 01-Jun-2008 21:20 4.5M
08.700.graph.smt 01-Jun-2008 21:21 6.9M
08.800.graph.smt 01-Jun-2008 21:22 9.0M
09.100.graph.smt 01-Jun-2008 21:23 108K
09.200.graph.smt 01-Jun-2008 21:23 544K
09.300.graph.smt 01-Jun-2008 21:24 1.0M
09.400.graph.smt 01-Jun-2008 21:24 2.3M
09.500.graph.smt 01-Jun-2008 21:25 2.9M
09.600.graph.smt 01-Jun-2008 21:26 4.4M
09.700.graph.smt 01-Jun-2008 21:27 6.8M
09.800.graph.smt 01-Jun-2008 21:29 8.4M
10.100.graph.smt 01-Jun-2008 21:30 111K
10.200.graph.smt 01-Jun-2008 21:30 568K
10.300.graph.smt 01-Jun-2008 21:30 1.0M
10.400.graph.smt 01-Jun-2008 21:30 2.2M
10.500.graph.smt 01-Jun-2008 21:31 2.9M
10.600.graph.smt 01-Jun-2008 21:32 5.0M
10.700.graph.smt 01-Jun-2008 21:33 6.8M
10.800.graph.smt 01-Jun-2008 21:35 8.5M
11.100.graph.smt 01-Jun-2008 21:36 141K
11.200.graph.smt 01-Jun-2008 21:36 557K
11.300.graph.smt 01-Jun-2008 21:36 1.0M
11.400.graph.smt 01-Jun-2008 21:37 2.2M
11.500.graph.smt 01-Jun-2008 21:37 3.2M
11.600.graph.smt 01-Jun-2008 21:38 4.8M
11.700.graph.smt 01-Jun-2008 21:40 6.5M
11.800.graph.smt 01-Jun-2008 21:42 9.1M
12.100.graph.smt 01-Jun-2008 21:43 182K
12.200.graph.smt 01-Jun-2008 21:43 570K
12.300.graph.smt 01-Jun-2008 21:43 1.0M
12.400.graph.smt 01-Jun-2008 21:44 2.4M
12.500.graph.smt 01-Jun-2008 21:44 3.0M
12.600.graph.smt 01-Jun-2008 21:45 5.2M
12.700.graph.smt 01-Jun-2008 21:47 6.4M
12.800.graph.smt 01-Jun-2008 21:48 8.8M
13.100.graph.smt 01-Jun-2008 21:49 133K
13.200.graph.smt 01-Jun-2008 21:49 588K
13.300.graph.smt 01-Jun-2008 21:50 1.1M
13.400.graph.smt 01-Jun-2008 21:50 2.1M
13.500.graph.smt 01-Jun-2008 21:51 3.6M
13.600.graph.smt 01-Jun-2008 21:52 4.6M
13.700.graph.smt 01-Jun-2008 21:53 6.9M
13.800.graph.smt 01-Jun-2008 21:53 8.7M
14.100.graph.smt 01-Jun-2008 21:54 100K
14.200.graph.smt 01-Jun-2008 21:54 526K
14.300.graph.smt 01-Jun-2008 21:54 1.2M
14.400.graph.smt 01-Jun-2008 21:54 2.2M
14.500.graph.smt 01-Jun-2008 21:54 3.0M
14.600.graph.smt 01-Jun-2008 21:54 4.7M
14.700.graph.smt 01-Jun-2008 21:55 6.4M
14.800.graph.smt 01-Jun-2008 21:56 8.1M
15.100.graph.smt 01-Jun-2008 21:56 147K
15.200.graph.smt 01-Jun-2008 21:56 512K
15.300.graph.smt 01-Jun-2008 21:56 1.3M
15.400.graph.smt 01-Jun-2008 21:56 1.9M
15.500.graph.smt 01-Jun-2008 21:56 3.0M
15.600.graph.smt 01-Jun-2008 21:57 5.1M
15.700.graph.smt 01-Jun-2008 21:57 5.8M
15.800.graph.smt 01-Jun-2008 21:58 7.7M
16.100.graph.smt 01-Jun-2008 21:58 159K
16.200.graph.smt 01-Jun-2008 21:58 586K
16.300.graph.smt 01-Jun-2008 21:58 1.2M
16.400.graph.smt 01-Jun-2008 21:58 2.1M
16.500.graph.smt 01-Jun-2008 21:58 3.1M
16.600.graph.smt 01-Jun-2008 21:58 4.9M
16.700.graph.smt 01-Jun-2008 21:59 7.0M
16.800.graph.smt 01-Jun-2008 21:59 9.2M
17.100.graph.smt 01-Jun-2008 22:00 135K
17.200.graph.smt 01-Jun-2008 22:00 466K
17.300.graph.smt 01-Jun-2008 22:00 1.2M
17.400.graph.smt 01-Jun-2008 22:00 2.1M
17.500.graph.smt 01-Jun-2008 22:00 3.6M
17.600.graph.smt 01-Jun-2008 22:00 4.4M
17.700.graph.smt 01-Jun-2008 22:01 6.5M
17.800.graph.smt 01-Jun-2008 22:02 8.6M
18.100.graph.smt 01-Jun-2008 22:02 130K
18.200.graph.smt 01-Jun-2008 22:02 436K
18.300.graph.smt 01-Jun-2008 22:02 1.1M
18.400.graph.smt 01-Jun-2008 22:02 2.0M
18.500.graph.smt 01-Jun-2008 22:03 3.2M
18.600.graph.smt 01-Jun-2008 22:03 4.9M
18.700.graph.smt 01-Jun-2008 22:04 6.5M
18.800.graph.smt 01-Jun-2008 22:04 7.1M
19.100.graph.smt 01-Jun-2008 22:04 111K
19.200.graph.smt 01-Jun-2008 22:04 529K
19.300.graph.smt 01-Jun-2008 22:05 1.0M
19.400.graph.smt 01-Jun-2008 22:05 2.0M
19.500.graph.smt 01-Jun-2008 22:05 3.2M
19.600.graph.smt 01-Jun-2008 22:05 4.2M
19.700.graph.smt 01-Jun-2008 22:06 6.4M
19.800.graph.smt 01-Jun-2008 22:07 9.0M
20.100.graph.smt 01-Jun-2008 22:07 177K
20.200.graph.smt 01-Jun-2008 22:07 505K
20.300.graph.smt 01-Jun-2008 22:07 1.2M
20.400.graph.smt 01-Jun-2008 22:08 2.3M
20.500.graph.smt 01-Jun-2008 22:08 3.1M
20.600.graph.smt 01-Jun-2008 22:08 5.4M
20.700.graph.smt 01-Jun-2008 22:09 6.8M
20.800.graph.smt 01-Jun-2008 22:10 8.8M
21.100.graph.smt 01-Jun-2008 22:10 131K
21.200.graph.smt 01-Jun-2008 22:10 530K
21.300.graph.smt 01-Jun-2008 22:10 1.2M
21.400.graph.smt 01-Jun-2008 22:11 2.0M
21.500.graph.smt 01-Jun-2008 22:11 3.0M
21.600.graph.smt 01-Jun-2008 22:11 4.8M
21.700.graph.smt 01-Jun-2008 22:12 6.4M
21.800.graph.smt 01-Jun-2008 22:13 7.6M
22.100.graph.smt 01-Jun-2008 22:13 127K
22.200.graph.smt 01-Jun-2008 22:13 539K
22.300.graph.smt 01-Jun-2008 22:14 1.2M
22.400.graph.smt 01-Jun-2008 22:14 2.2M
22.500.graph.smt 01-Jun-2008 22:14 2.8M
22.600.graph.smt 01-Jun-2008 22:15 4.9M
22.700.graph.smt 01-Jun-2008 22:16 6.5M
22.800.graph.smt 01-Jun-2008 22:16 8.6M
23.100.graph.smt 01-Jun-2008 22:17 108K
23.200.graph.smt 01-Jun-2008 22:17 572K
23.300.graph.smt 01-Jun-2008 22:17 1.1M
23.400.graph.smt 01-Jun-2008 22:17 2.0M
23.500.graph.smt 01-Jun-2008 22:17 2.8M
23.600.graph.smt 01-Jun-2008 22:17 4.8M
23.700.graph.smt 01-Jun-2008 22:18 6.8M
23.800.graph.smt 01-Jun-2008 22:18 8.0M
24.100.graph.smt 01-Jun-2008 22:18 156K
24.200.graph.smt 01-Jun-2008 22:19 577K
24.300.graph.smt 01-Jun-2008 22:19 1.1M
24.400.graph.smt 01-Jun-2008 22:19 1.9M
24.500.graph.smt 01-Jun-2008 22:19 3.3M
24.600.graph.smt 01-Jun-2008 22:19 4.9M
24.700.graph.smt 01-Jun-2008 22:20 6.6M
24.800.graph.smt 01-Jun-2008 22:20 9.0M
25.100.graph.smt 01-Jun-2008 22:21 141K
25.200.graph.smt 01-Jun-2008 22:21 460K
25.300.graph.smt 01-Jun-2008 22:21 1.2M
25.400.graph.smt 01-Jun-2008 22:21 2.3M
25.500.graph.smt 01-Jun-2008 22:21 3.6M
25.600.graph.smt 01-Jun-2008 22:22 4.6M
25.700.graph.smt 01-Jun-2008 22:22 7.1M
25.800.graph.smt 01-Jun-2008 22:23 8.6M
26.100.graph.smt 01-Jun-2008 22:24 144K
26.200.graph.smt 01-Jun-2008 22:24 460K
26.300.graph.smt 01-Jun-2008 22:24 1.1M
26.400.graph.smt 01-Jun-2008 22:24 2.0M
26.500.graph.smt 01-Jun-2008 22:24 3.3M
26.600.graph.smt 01-Jun-2008 22:25 5.1M
26.700.graph.smt 01-Jun-2008 22:26 6.0M
26.800.graph.smt 01-Jun-2008 22:26 7.8M
27.100.graph.smt 01-Jun-2008 22:27 120K
27.200.graph.smt 01-Jun-2008 22:27 555K
27.300.graph.smt 01-Jun-2008 22:27 1.1M
27.400.graph.smt 01-Jun-2008 22:27 2.0M
27.500.graph.smt 01-Jun-2008 22:27 3.1M
27.600.graph.smt 01-Jun-2008 22:28 4.7M
27.700.graph.smt 01-Jun-2008 22:28 6.3M
27.800.graph.smt 01-Jun-2008 22:29 8.8M
28.100.graph.smt 01-Jun-2008 22:30 148K
28.200.graph.smt 01-Jun-2008 22:30 720K
28.300.graph.smt 01-Jun-2008 22:30 1.3M
28.400.graph.smt 01-Jun-2008 22:30 2.2M
28.500.graph.smt 01-Jun-2008 22:31 3.4M
28.600.graph.smt 01-Jun-2008 22:31 4.7M
28.700.graph.smt 01-Jun-2008 22:32 7.6M
28.800.graph.smt 01-Jun-2008 22:33 8.6M
29.100.graph.smt 01-Jun-2008 22:34 127K
29.200.graph.smt 01-Jun-2008 22:34 513K
29.300.graph.smt 01-Jun-2008 22:34 1.2M
29.400.graph.smt 01-Jun-2008 22:34 2.4M
29.500.graph.smt 01-Jun-2008 22:34 3.5M
29.600.graph.smt 01-Jun-2008 22:34 4.6M
29.700.graph.smt 01-Jun-2008 22:35 7.2M
29.800.graph.smt 01-Jun-2008 22:36 8.5M
30.100.graph.smt 01-Jun-2008 22:36 108K
30.200.graph.smt 01-Jun-2008 22:36 483K
30.300.graph.smt 01-Jun-2008 22:36 1.4M
30.400.graph.smt 01-Jun-2008 22:37 2.0M
30.500.graph.smt 01-Jun-2008 22:37 3.2M
30.600.graph.smt 01-Jun-2008 22:37 4.7M
30.700.graph.smt 01-Jun-2008 22:38 6.6M
30.800.graph.smt 01-Jun-2008 22:39 8.6M
31.100.graph.smt 01-Jun-2008 22:39 136K
31.200.graph.smt 01-Jun-2008 22:39 528K
31.300.graph.smt 01-Jun-2008 22:39 1.2M
31.400.graph.smt 01-Jun-2008 22:39 1.8M
31.500.graph.smt 01-Jun-2008 22:39 3.5M
31.600.graph.smt 01-Jun-2008 22:40 4.6M
31.700.graph.smt 01-Jun-2008 22:41 7.0M
31.800.graph.smt 01-Jun-2008 22:42 8.5M
Apache/2.0.52 (Red Hat) Server at goedel.cs.uiowa.edu Port 80