parity Benchmarks
Family
Name
parity
Generation Date
None
First Occurrence
2008-07-07
Benchmarks
248
Benchmarks
QF_IDL
•
Charts
•
Solver Isomap
20.400.graph.smt2
09.200.graph.smt2
29.200.graph.smt2
11.300.graph.smt2
15.500.graph.smt2
17.100.graph.smt2
05.300.graph.smt2
23.300.graph.smt2
28.400.graph.smt2
24.300.graph.smt2
01.400.graph.smt2
25.600.graph.smt2
10.500.graph.smt2
24.500.graph.smt2
21.600.graph.smt2
07.100.graph.smt2
22.700.graph.smt2
14.400.graph.smt2
20.200.graph.smt2
13.600.graph.smt2
05.800.graph.smt2
21.800.graph.smt2
19.200.graph.smt2
16.600.graph.smt2
26.800.graph.smt2
11.100.graph.smt2
04.800.graph.smt2
09.400.graph.smt2
09.800.graph.smt2
22.500.graph.smt2
13.400.graph.smt2
13.200.graph.smt2
18.800.graph.smt2
28.200.graph.smt2
18.400.graph.smt2
20.500.graph.smt2
05.600.graph.smt2
02.500.graph.smt2
14.700.graph.smt2
31.700.graph.smt2
21.500.graph.smt2
16.700.graph.smt2
12.300.graph.smt2
02.700.graph.smt2
28.300.graph.smt2
06.400.graph.smt2
12.200.graph.smt2
27.600.graph.smt2
10.600.graph.smt2
25.100.graph.smt2
31.800.graph.smt2
22.200.graph.smt2
27.100.graph.smt2
18.200.graph.smt2
31.300.graph.smt2
06.300.graph.smt2
09.500.graph.smt2
25.300.graph.smt2
11.700.graph.smt2
25.700.graph.smt2
30.300.graph.smt2
29.700.graph.smt2
07.500.graph.smt2
05.500.graph.smt2
21.400.graph.smt2
17.300.graph.smt2
29.400.graph.smt2
16.300.graph.smt2
23.700.graph.smt2
08.800.graph.smt2
27.200.graph.smt2
27.400.graph.smt2
26.500.graph.smt2
15.300.graph.smt2
30.100.graph.smt2
01.500.graph.smt2
17.400.graph.smt2
27.800.graph.smt2
09.100.graph.smt2
14.600.graph.smt2
07.700.graph.smt2
12.600.graph.smt2
03.300.graph.smt2
10.300.graph.smt2
14.500.graph.smt2
26.300.graph.smt2
10.200.graph.smt2
07.200.graph.smt2
12.800.graph.smt2
03.100.graph.smt2
15.400.graph.smt2
28.100.graph.smt2
06.600.graph.smt2
16.100.graph.smt2
15.200.graph.smt2
18.500.graph.smt2
12.400.graph.smt2
14.100.graph.smt2
17.500.graph.smt2
07.400.graph.smt2
15.100.graph.smt2
05.700.graph.smt2
30.600.graph.smt2
29.500.graph.smt2
26.400.graph.smt2
23.500.graph.smt2
18.100.graph.smt2
11.200.graph.smt2
07.600.graph.smt2
23.200.graph.smt2
07.300.graph.smt2
10.100.graph.smt2
20.600.graph.smt2
13.300.graph.smt2
13.500.graph.smt2
11.400.graph.smt2
06.500.graph.smt2
01.300.graph.smt2
09.300.graph.smt2
18.600.graph.smt2
08.500.graph.smt2
31.100.graph.smt2
14.200.graph.smt2
20.300.graph.smt2
16.400.graph.smt2
17.700.graph.smt2
25.400.graph.smt2
04.600.graph.smt2
20.100.graph.smt2
04.100.graph.smt2
28.700.graph.smt2
29.100.graph.smt2
31.600.graph.smt2
24.200.graph.smt2
22.100.graph.smt2
21.700.graph.smt2
30.800.graph.smt2
25.800.graph.smt2
18.300.graph.smt2
17.600.graph.smt2
26.200.graph.smt2
29.300.graph.smt2
15.800.graph.smt2
03.700.graph.smt2
12.500.graph.smt2
28.600.graph.smt2
08.200.graph.smt2
03.800.graph.smt2
07.800.graph.smt2
19.400.graph.smt2
03.600.graph.smt2
14.800.graph.smt2
08.400.graph.smt2
22.400.graph.smt2
03.400.graph.smt2
22.600.graph.smt2
13.700.graph.smt2
20.800.graph.smt2
15.700.graph.smt2
27.500.graph.smt2
30.400.graph.smt2
29.800.graph.smt2
26.600.graph.smt2
01.100.graph.smt2
08.700.graph.smt2
17.800.graph.smt2
01.200.graph.smt2
04.200.graph.smt2
05.100.graph.smt2
01.600.graph.smt2
19.300.graph.smt2
09.700.graph.smt2
02.200.graph.smt2
23.600.graph.smt2
22.300.graph.smt2
21.300.graph.smt2
02.100.graph.smt2
19.600.graph.smt2
15.600.graph.smt2
23.100.graph.smt2
02.400.graph.smt2
13.100.graph.smt2
23.800.graph.smt2
26.700.graph.smt2
12.700.graph.smt2
04.500.graph.smt2
22.800.graph.smt2
25.200.graph.smt2
27.700.graph.smt2
31.500.graph.smt2
24.100.graph.smt2
31.400.graph.smt2
11.500.graph.smt2
26.100.graph.smt2
11.800.graph.smt2
21.200.graph.smt2
23.400.graph.smt2
18.700.graph.smt2
19.500.graph.smt2
25.500.graph.smt2
28.500.graph.smt2
10.800.graph.smt2
04.700.graph.smt2
27.300.graph.smt2
04.300.graph.smt2
28.800.graph.smt2
08.100.graph.smt2
10.400.graph.smt2
06.700.graph.smt2
02.600.graph.smt2
04.400.graph.smt2
02.300.graph.smt2
24.600.graph.smt2
19.700.graph.smt2
20.700.graph.smt2
13.800.graph.smt2
16.800.graph.smt2
06.800.graph.smt2
12.100.graph.smt2
05.200.graph.smt2
03.200.graph.smt2
08.300.graph.smt2
06.100.graph.smt2
29.600.graph.smt2
14.300.graph.smt2
19.100.graph.smt2
06.200.graph.smt2
24.700.graph.smt2
16.500.graph.smt2
30.200.graph.smt2
30.500.graph.smt2
24.800.graph.smt2
21.100.graph.smt2
11.600.graph.smt2
17.200.graph.smt2
05.400.graph.smt2
16.200.graph.smt2
31.200.graph.smt2
24.400.graph.smt2
19.800.graph.smt2
01.700.graph.smt2
03.500.graph.smt2
08.600.graph.smt2
09.600.graph.smt2
30.700.graph.smt2
01.800.graph.smt2
02.800.graph.smt2
10.700.graph.smt2